type int = number;
//class OwnKillEvilTaskNumInfo

    export  class OwnKillEvilTaskNumInfo
    {
        

        public /* var */_killEvilTaskPropNum_Green: int=0;

        public /* var */_killEvilTaskPropNum_Blue: int=0;

        public /* var */_killEvilTaskPropNum_Purple: int=0;

        public /* var */_killEvilTaskPropNum_Orange: int=0;
    }
